arallel synchronous
نویسندگان
چکیده
To speed up production systems, many researchers have turned to parallel implementations. We describe a system called PARS that executes production rules in parallel. PARS is novel because it (1) executes many rules simultaneously, (2) runs in a highly asynchronous fashion, and (3) runs on a distributed memory machine. Item (1) improves available concurrency over systems that only perform the MATCH step in parallel. Item (2) reduces bottlenecks over synchronous parallel production systems. Item (3) makes the techniques more available given the lower cost of distributed versus shared memory machines. The two main problems regarding correctness, namely serialization and the maintenance of consistent distributed databases, are addressed and solved. Estimates of the effectiveness of this approach are also given.
منابع مشابه
Asynchronous optimisation with the use of a cascade search algorithm
This paper introduces the development of an asynchronous approach coupled with a cascade optimisation algorithm. The approach incorporates concepts of asynchronous Markov processes and introduces a search process that is benefiting from distributed computing infrastructures. The algorithm uses concepts of partitions and pools to store intermediate solutions and corresponding objectives. Populat...
متن کاملCommunication and Transactions in V Ienna P Arallel L Ogic Communication and Transactions in V Ienna P Arallel L Ogic
We compare several degrees of architecture abstraction and communication reliability in distributed programming languages. A nearly architecture independent logic programming language and system with reliable communication called V P L (Vienna Parallel Logic) is presented. We point out the contradiction between complete architecture independence and reliable high-level communication in programm...
متن کاملConcurrency and Backtracking in V Ienna P Arallel L Ogic Concurrency and Backtracking in V Ienna P Arallel L Ogic
Vienna Parallel Logic (V P L) is a persistent language and programming system that supports the concurrent execution of communicating processes and the computation of several alternative solutions by means of programmed backtracking. It uniies the worlds of sequential logic programming languages (Prolog) and concurrent logic programming languages (i.e., Parlog). Aspects of both language classes...
متن کاملC Omputational M Odels for P Arallel C Omputing and Bsp Lab
A major challenge for parallel computing is the development of a standardized combination of portable and efficient parallel programming. An interesting approach towards this major goal is the research with offspring in Leslie Valiant’s Bulk Synchronous Parallel Model (BSP). The BSP model is a theoretical framework outlining how parallel computations can be organized in a way that bridges the g...
متن کاملA Parallel Software-only Video Eeects Processing System Committee in Charge: a Parallel Software-only Video Eeects Processing System Abstract a P Arallel Software-only Video Eects Processing System
A Parallel Software-Only Video E ects Processing System
متن کامل